((v7 v6 1) (v6 v1 3) (v5 v2 5) (v6 v3 5) (v7 v4 5) (v6 v4 1) (v6 v5 8) (v3 v4 9) (v1 v3 0) (v5 v1 1) (v5 v4 1) (v2 v6 1))
98
((v2 v1) (v5 v2) (v5 v7))